Previous | 
Home
Section: New Software and Platforms
GCCat
Global Constraint Catalog
Keywords: Constraint Programming - Global constraint - Catalogue - Graph - Automaton - Transducer - First order formula - meta-data - ontology - symmetry - counting -
Functional Description
This global constraint catalog presents a catalogue of global constraints where each constraint is explicitly described in terms of graph properties and/or automata and/or first order logical formulae with arithmetic. When available, it also presents some typical usage as well as some pointers to existing filtering algorithms. This year we were preparing a second volume of the catalog focused on time-series constraints. It presents a restricted set of finite transducers used to synthesise structural time-series constraints described by means of a multi-layered functions composition scheme. Second it provides the corresponding synthesised catalogue of structural time-series constraints where each constraint is explicitly described in terms of automata with accumulators.